In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
201	In FOOL7 Electronic ProceedingsDepth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:03:50 Programming language theory Computing Object-oriented programming Polymorphism Deduction Subtype polymorphism Symbol Type system System F Type theory Software engineering Data types
202	Dependency Solving: a Separate Concern in Component Evolution ManagementI Pietro Abatea , Roberto Di Cosmoa,b , Ralf Treinena , Stefano Zacchirolia a Univ Paris Diderot, Sorbonne Paris Cit´ Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:55 Object-oriented programming Software distribution SUSE Linux ZYpp Archive formats Package management system Boolean satisfiability problem Package Debian Software Computing System software
203	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.mirror.ac.za Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
204	Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Programming language theory Data types Object-oriented programming Polymorphism Alloy Z notation Type system Subtype polymorphism Daniel Jackson Software engineering Type theory Computing
205	Super DLTtape VOL-SER Label Ordering Instructions In order to avoid delays in processing your label order, please follow the ordering instructions outlined below. All required fields must be completed. Add to Reading List Source URL: www.fujifilmusa.com Language: English - Date: 2006-09-14 19:11:48 C Software engineering Programming language theory Computing Nintendo Entertainment System DEC Alpha
206	Component-based Design and Verification in X-MAN Nannan He, Daniel Kroening, Thomas Wahl Oxford University Kung-Kiu Lau, Faris Taweel, Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2011-12-09 13:28:09 Applied mathematics Structure Software architecture Formal verification System Modularity Software engineering Object-oriented programming Component-based software engineering
207	WEB USER MANUAL 1 The WEB System of Structured Documentation This memo describes how to write programs in the WEB language; and it also includes the full WEB documentation for WEAVE and TANGLE, the programs that read WE Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:27:21 C programming language Macro programming languages Procedural programming languages Pascal Cross-platform software Comparison of Pascal and C TeX WEB C preprocessor Computing Software engineering Computer programming
208	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: ftp.yzu.edu.tw Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
209	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
210	Characterizing Fault Tolerance in Genetic Programming Daniel Lombraña ∗ González University of Extremadura Avd. Santa Teresea de Jornet, Add to Reading List Source URL: navet.ics.hawaii.edu Language: English - Date: 2009-04-02 15:22:11 Reliability engineering Software quality Survival analysis Fault-tolerant computer system Byzantine fault tolerance Fault-tolerant design Distributed computing Fault-tolerant system Parallel computing Systems engineering Failure Computing

UPDATE